Consistency and Optimality
نویسندگان
چکیده
Assume that the problem Q0 is not solvable in polynomial time. For theories T containing a sufficiently rich part of true arithmetic we characterize T ∪ {ConT } as the minimal extension of T proving for some algorithm that it decides Q0 as fast as any algorithm B with the property that T proves that B decides Q0. Here, ConT claims the consistency of T . Moreover, we characterize problems with an optimal algorithm in terms of arithmetical theories.
منابع مشابه
PERFORMANCE-BASED MULTI-OBJECTIVE OPTIMUM DESIGN FOR STEEL STRUCTURES WITH INTELLIGENCE ALGORITHMS
A multi-objective heuristic particle swarm optimiser (MOHPSO) based on Pareto multi-objective theory is proposed to solve multi-objective optimality problems. The optimality objectives are the roof displacement and structure weight. Two types of structure are analysed in this paper, a truss structure and a framework structure. Performance-based seismic analysis, such as classical and modal push...
متن کاملTail optimality and preferences consistency for intertemporal optimization problems
When an intertemporal optimization problem over a time interval [t0, T ] is linear and can be solved via dynamic programming, the Bellman’s principle holds, and the optimal control map has the desirable feature of being tail-optimal in the right queue; moreover, the optimizer keeps solving the same problem at any time time t with renovated conditions: we will say that he is preferences-consiste...
متن کاملOn Optimality, Endogenous Discounting and Wealth Accumulation
We endogenize the discount rate via a broad measure of wealth and provide empirical evidence that wealth affects the discount rate negatively. We demonstrate that the Pontryagin conditions require positive felicity for intuitive results, whereas the concavity of the Hamiltonian requires negative felicity for optimality. This dilemma also holds for the endogenizations of Obstfeld (1990) and foll...
متن کاملDerived Environment Effects and Consistency of Exponence
In this article, I defend the assumption that the generator function Gen of Optimality Theory should be restricted by a principle called Consistency of Exponence and I show how this assumption helps us understand so-called Derived Environment Effects.1 Consistency of Exponence was introduced almost in some of the earliest work on Optimality Theory (McCarthy & Prince, 1993, 1994) as a reasonable...
متن کاملConsistency and Characterization of the Core of Two-Sided Matching Problems*
A characterization theorem of the core of two-sided matching problems is proved. The theorem characterizes the core by means of four axioms, the Pareto optimality, consistency, converse consistency, and anonymity. It is shown that all of them are logically independent.
متن کاملAsymptotic Optimality of Empirical Likelihood for Selecting Moment Restrictions
This paper proposes large deviation optimal properties of the empirical likelihood testing (ELT) moment selection procedures for moment restriction models. Since the parameter spaces of the moment selection problem is discrete, the conventional Pitman-type local alternative approach is not very helpful. By applying the theory of large deviations, we analyze convergence rates of the error probab...
متن کامل